<?php

$a = gmp_init(42);
$b = gmp_init(17);
 
// Pre-5.6 code:
var_dump(gmp_add($a, $b));
var_dump(gmp_add($a, 17));
var_dump(gmp_add(42, $b));
 
 
// New code:
var_dump($a + $b);
var_dump($a + 17);
var_dump(42 + $b);